Automated Deduction – alle Bücher

Ihre Suche nach "Automated Deduction" (Bücher) ergab 2 Treffer.

Timo Spinde

Automated Detection of Media Bias

This Open Access book explores the automated identification of media bias, particularly focusing on bias by word choice in digital media. The increasing prevalence of digital information presents opportun…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 43,80* Aktueller Preis: EUR 43,80

Artikel merken

In den Warenkorb

Menge ändern

Static Analysis

Lecture Notes in Computer Science - Band 16100

This book constitutes the refereed proceedings of the 32nd International Static Analysis Symposium, SAS 2025, held in Singapore, Singapore, in October 2025.The 15 papers included here were carefully revie…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 81,04* Aktueller Preis: EUR 81,04

Artikel merken

In den Warenkorb

Menge ändern